عكس استلزام
المظهر
يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. (يناير 2022) |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/35/Venn1101.svg/220px-Venn1101.svg.png)
عكس الاستلزام (بالإنجليزية: Converse Implication) هو عكس الاستلزام المنطقي، ويكتب ←. ذلك بالقول؛ ان أي اثنين من القضايا و، إذا كان يستلزم ، فإن هو عكس الاستلزام لـ .
يرمز لها بـ ، ولكن يمكننا أيضا أن نرمز لها بـ أو "Bpq " (ترميز Bocheński).
تعريف[عدل]
جدول الحقيقة[عدل]
جدول الحقيقة لـ
T | T | T |
T | F | T |
F | T | F |
F | F | T |
التكافؤات المنطقية[عدل]
عكس الاستلزام يكافئ منطقيا الفصل " و "
![]() |
![]() |
![]() |
الخصائص[عدل]
الحفاظ على الحقيقة : التفسير الذي يتم بموجبه تعيين جميع متغيرات قيمة الحقيقة لـ«صحيح» ينتج عنه قيمة الحقيقة لـ «صحيح» كنتيجة لعكس الاستلزام.
الترميز[عدل]
![]() | هذا القسم فارغ أو غير مكتمل. ساهم في توسيعه. |
← ، ⇐
انظر أيضا[عدل]
المراجع[عدل]
عكس استلزام في المشاريع الشقيقة: | |
|